Hard Real-time Scheduling: the Deadline-monotonic Approach1
نویسندگان
چکیده
The scheduling of processes to meet deadlines is a difficult problem often simplified by placing severe restrictions upon the timing characteristics of individual processes. One restriction often introduced is that processes must have deadline equal to period. This paper investigates schedulability tests for sets of periodic processes whose deadlines are permitted to be less than their period. Such a relaxation enables sporadic processes to be directly incorporated without alteration to the process model. Following an introduction outlining the constraints associated with existing scheduling approaches and associated schedulability tests, the deadline-monotonic approach is introduced. New schedulability tests are derived which vary in computational complexity. The tests are shown to be directly applicable to the scheduling of sporadic processes.
منابع مشابه
Safety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملMultiprocessor EDF and Deadline Monotonic Schedulability Analysis
Schedulability tests are presented for preemptive earliest-deadline-first and deadline-monotonic scheduling of periodic or sporadic real-time tasks on a singlequeue -server system, in which the deadline of a task may be less than or equal to the task period. These results subsume and generalize several known utilization-based multiprocessor schedulability tests, and are derived via an independe...
متن کاملSchedulability analysis of global Deadline-Monotonic scheduling
The multiprocessor Deadline-Monotonic (DM) scheduling of sporadic task systems is studied. A new sufficient schedulability test is presented and proved correct. It is shown that this test offers non-trivial quantitative guarantees, including a resource augmentation bound.
متن کاملComparison of scheduling in RTLinux and QNX
The purpose of this report was to learn more about scheduling, and how it’s done in the two Real Time Operating Systems QNX and RTLinux. The report contains our findings about scheduling with focus on the different scheduling algorithms in the two RTOS:s. These algorithms include the rate-monotonic algorithm (RMA) and the earliest-deadline-first algorithm (EDF) in RTLinux and FIFO and Round Rob...
متن کاملProviding for an Open, Real-Time CORBA
While CORBA provides an infrastructure which allows objects to communicate, independent of the spe-ciic techniques, languages, and platforms used to implement the objects, it is not yet suited for real-time applications since CORBA lacks essential quality-of-service (QoS) features. Current work on real-time CORBA includes an oo-line scheduled, hard, real-time system based on rate-monotonic sche...
متن کامل